Skip to content

Conversation

vanvoorden
Copy link
Contributor

@vanvoorden vanvoorden commented Oct 7, 2025

Updates to SE-0494 based on LSG modifications:

New Name

We migrate isIdentical(to:) to isTriviallyIdentical(to:).

New Types

We add isTriviallyIdentical(to:) to the following concrete types:

  • UnsafeBufferPointer
  • UnsafeMutableBufferPointer
  • UnsafeMutableRawBufferPointer
  • UnsafeRawBufferPointer
  • UTF8Span
  • Span
  • RawSpan

SwiftUI Example

This is in response to community feedback asking for some more details on our SwiftUI sample code.1 This is only a change to try and improve the sample code with a little more information: this is not intended to be a change for our design.

Footnotes

  1. https://forums.swift.org/t/se-0494-add-isidentical-to-methods-for-quick-comparisons-to-concrete-types/82296/22

@vanvoorden
Copy link
Contributor Author

@lorentey Did these look correct to you?

@vanvoorden
Copy link
Contributor Author

@rjmccall BTW… did LSG accept these new types on the condition we carry over the explicit semantic guarantees from the existing types?

  • self is always identical to self
  • A copy is always an identical representation
  • etc…

@rjmccall rjmccall added the LSG Contains topics under the domain of the Language Steering Group label Oct 13, 2025
@rjmccall rjmccall self-assigned this Oct 13, 2025
@vanvoorden vanvoorden marked this pull request as draft October 17, 2025 19:57
@vanvoorden vanvoorden changed the title [SE-0494] add new concrete types for review [WIP][SE-0494] add new concrete types for review Oct 17, 2025
@vanvoorden vanvoorden changed the title [WIP][SE-0494] add new concrete types for review [WIP][SE-0494] update proposal with lsg modifications Oct 17, 2025
@vanvoorden vanvoorden marked this pull request as ready for review October 17, 2025 21:33
@vanvoorden vanvoorden changed the title [WIP][SE-0494] update proposal with lsg modifications [SE-0494] update proposal with lsg modifications Oct 17, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

LSG Contains topics under the domain of the Language Steering Group

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants